(declare-const v11 Bool)
(declare-const v12 Bool)
(declare-const v13 Bool)
(declare-const v14 Bool)
(declare-const v15 Bool)
(declare-const v16 Bool)
(declare-const v17 Bool)
(assert (=> v11 v17))
(declare-const v18 Bool)
(declare-const v19 Bool)
(check-sat)
(declare-const v20 Bool)
(declare-const _5-0 (_ BitVec 5))
(check-sat)
